Precise subtyping for synchronous multiparty sessions

机译：同步多方会话的精确子类型

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Mariangiola Dezani-Ciancaglini; Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Nobuko Yoshida;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Precise subtyping for synchronous multiparty sessions [J] . Ghilezan Silvia, Jaksic Svetlana, Pantovic Jovanka, The Journal of logic and algebraic programming . 2019,第APRa期

机译：同步多方会话的精确子类型化
2. Precise subtyping for synchronous multiparty sessions [J] . Ghilezan Silvia, Jaksic Svetlana, Pantovic Jovanka, The Journal of logic and algebraic programming . 2019,第Apra期

机译：同步多方会话的精确亚型
3. On the Preciseness of Subtyping in Session Types [J] . Yoshida Nobuko, Scalas Alceste, Dezani-Ciancaglini Mariangiola, Logical Methods in Computer Science . 2017,第2期

机译：会话类型中子类型化的准确性
4. Event Structure Semantics for Multiparty Sessions [C] . Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini Symposium on models, languages, and tools for concurrent and distributed programming . 2019

机译：多方会话的事件结构语义
5. Floor control for multiparty sessions in 3G networks. [D] . Hawwa, Samer. 2004

机译：3G网络中多方会话的发言权控制。
6. Studying Children’s Eating at Home: Using Synchronous Videoconference Sessions to Adapt to COVID-19 and Beyond [O] . Shruthi Venkatesh, Jasmine M. DeJesus 2021

机译：在家学习儿童饮食：使用同步视频会议会话来适应Covid-19及更远
7. Precise subtyping for synchronous multiparty sessions [O] . Dezani-Ciancaglini M, Ghilezan S, Jakšić S, 2016

机译：同步多方会话的精确子类型

Precise subtyping for synchronous multiparty sessions

著录项

引文网络

相似文献

相关主题

期刊订阅